BackgroundThis article is part of a study to gain insight into the decision-making process by looking at the views of the relatives of potential brain dead donors. Alongside a literature review, focus interviews were held with healthcare professionals about their role in the request and decision-making process when post-mortal donation is at stake. This article describes the perspectives of the relatives.MethodsA content-analysis of 22 semi-structured in-depth interviews with relatives involved in an organ donation decision.ResultsThree themes were identified: ‘conditions’, ‘ethical considerations’ (...) and ‘look back’. Conditions were: ‘sense of urgency’, ‘incompetence to decide’ and ‘agreement between relatives’. Ethical considerations result in a dilemma for non-donor families: aiding people or protecting the deceased’s body, especially when they do not know his/her preference. Donor families respect the deceased’s last will, generally confirmed in the National Donor Register. Looking back, the majority of non-donor families resolved their dilemma by justifying their decision with external arguments. Some non-donor families would like to be supported during decision-making.DiscussionThe discrepancy between general willingness to donate and the actual refusal of a donation request can be explained by multiple factors, with a cumulative effect. Firstly, half of the participants stated that they felt that they were not competent to decide in such a crisis and they seem to struggle with utilitarian considerations against their wish to protect the body. Secondly, non-donor families refused telling that they did not know the deceased’s wishes or contesting posthumous autonomy of the eligible. Thirdly, the findings emphasise the importance of Donor Registration, because it seems to prevent dilemmas in decision-making, at least for donor families.ConclusionDiscrepancies between willingness to consent to donate and refusal at the bedside can be attributed to an unresolved dilemma: aiding people or protect the body of the deceased. Non-donor families felt incompetent to decide. They refused consent for donation, since their deceased had not given any directive. When ethical considerations do not lead to an unambiguous answer, situational factors were pivotal. Relatives of unregistered eligible donors are more prone to unstable decisions. To overcome ambivalence, coaching during decision-making is worth investigation. (shrink)

In the Netherlands, consent from relatives is obligatory for post mortal donation. This study explored the perspectives of relatives regarding the request for consent for donation in cases without donor registration. A content analysis of narratives of 24 bereaved relatives of unregistered, eligible, brain-dead donors was performed. Relatives of unregistered, brain-dead patients usually refuse consent for donation, even if they harbour pro-donation attitudes themselves, or knew that the deceased favoured organ donation. Half of those who refused consent for donation mentioned (...) afterwards that it could have been an option. The decision not to consent to donation is attributed to contextual factors, such as feeling overwhelmed by the notification of death immediately followed by the request; not being accustomed to speaking about death; inadequate support from other relatives or healthcare professionals, and lengthy procedures. Healthcare professionals could provide better support to relatives prior to donation requests, address their informational needs and adapt their message to individual circumstances. It is anticipated that the number of consenting families could be enlarged by examining the experience of decoupling and offering the possibility of consent for donation after circulatory death if families refuse consent for donation after brain-death. (shrink)

BackgroundVarious forms of Clinical Ethics Support (CES) have been developed in health care organizations. Over the past years, increasing attention has been paid to the question of how to foster the quality of ethics support. In the Netherlands, a CES quality assessment project based on a responsive evaluation design has been implemented. CES practitioners themselves reflected upon the quality of ethics support within each other’s health care organizations. This study presents a qualitative evaluation of this Responsive Quality Assessment (RQA) project.MethodsCES (...) practitioners’ experiences with and perspectives on the RQA project were collected by means of ten semi-structured interviews. Both the data collection and the qualitative data analysis followed a stepwise approach, including continuous peer review and careful documentation of the decisions.ResultsThe main findings illustrate the relevance of the RQA with regard to fostering the quality of CES by connecting to context specific issues, such as gaining support from upper management and to solidify CES services within health care organizations. Based on their participation in the RQA, CES practitioners perceived a number of changes regarding CES in Dutch health care organizations after the RQA: acknowledgement of the relevance of CES for the quality of care; CES practices being more formalized; inspiration for developing new CES-related activities and more self-reflection on existing CES practices.ConclusionsThe evaluation of the RQA shows that this method facilitates an open learning process by actively involving CES practitioners and their concrete practices. Lessons learned include that “servant leadership” and more intensive guidance of RQA participants may help to further enhance both the critical dimension and the learning process within RQA. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

We present a number of puzzles arising for the interpretation of modified numerals. Following Büring and others we assume that the main difference between comparative and superlative modifiers is that only the latter convey disjunctive meanings. We further argue that the inference patterns triggered by disjunction and superlative modifiers are hard to capture in existing semantic and pragmatic analyses of these phenomena (neo-Gricean or grammatical alike), and we propose a novel account of these inferences in the framework of bilateral state-based (...) modal logic defining a first order extension of Aloni (Semant Pragmat 15:5-EA, 2022. https://doi.org/10.3765/sp.15.5)’s. (shrink)

In _Kazimierz Twardowski: A Grammar for Philosophy_ Maria van der Schaar shows the importance of Twardowski’s method, his philosophical grammar, for both the Lvov-Warsaw School, and analytic philosophy today.

In their 2007 paper, Swierstra and Rip identify characteristic tropes and patterns of moral argumentation in the debate about the ethics of new and emerging science and technologies (or “NEST-ethics”). Taking their NEST-ethics structure as a starting point, we considered the debate about tissue engineering (TE), and argue what aspects we think ought to be a part of a rich and high-quality debate of TE. The debate surrounding TE seems to be predominantly a debate among experts. When considering the NEST-ethics (...) arguments that deal directly with technology, we can generally conclude that consequentialist arguments are by far the most prominently featured in discussions of TE. In addition, many papers discuss principles, rights and duties relevant to aspects of TE, both in a positive and in a critical sense. Justice arguments are only sporadically made, some “good life” arguments are used, others less so (such as the explicit articulation of perceived limits, or the technology as a technological fix for a social problem). Missing topics in the discussion, at least from the perspective of NEST-ethics, are second “level” arguments—those referring to techno-moral change connected to tissue engineering. Currently, the discussion about tissue engineering mostly focuses on its so-called “hard impacts”—quantifiable risks and benefits of the technology. Its “soft impacts”—effects that cannot easily be quantified, such as changes to experience, habits and perceptions, should receive more attention. (shrink)

It has been widely theorized and empirically proven that self-regulated learning is related to more desired learning outcomes, e.g., higher performance in transfer tests. Research has shifted to understanding the role of SRL during learning, such as the strategies and learning activities, learners employ and engage in the different SRL phases, which contribute to learning achievement. From a methodological perspective, measuring SRL using think-aloud data has been shown to be more insightful than self-report surveys as it helps better in determining (...) the link between SRL activities and learning achievements. Educational process mining on the basis of think-aloud data enables a deeper understanding and more fine-grained analyses of SRL processes. Although students’ SRL is highly contextualized, there are consistent findings of the link between SRL activities and learning outcomes pointing to some consistency of the processes that support learning. However, past studies have utilized differing approaches which make generalization of findings between studies investigating the unfolding of SRL processes during learning a challenge. In the present study with 29 university students, we measured SRL via concurrent think-aloud protocols in a pre-post design using a similar approach from a previous study in an online learning environment during a 45-min learning session, where students learned about three topics and wrote an essay. Results revealed significant learning gain and replication of links between SRL activities and transfer performance, similar to past research. Additionally, temporal structures of successful and less successful students indicated meaningful differences associated with both theoretical assumptions and past research findings. In conclusion, extending prior research by exploring SRL patterns in an online learning setting provides insights to the replicability of previous findings from online learning settings and new findings show that it is important not only to focus on the repertoire of SRL strategies but also on how and when they are used. (shrink)

The cultural group selection approach provides a compelling explanation for recent changes in human societies, but has trouble explaining why our ancestors, rather than any other great ape, evolved into a hyper-cooperative niche. The cooperative breeding hypothesis can plug this gap and thus complement CGS, because recent comparative evidence suggests that it promoted proactive prosociality, social transmission, and communication in Pleistocene hominins.

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

Palliative care philosophy is based on a holistic approach to patients, but research shows that possibilities for living up to this philosophy seem limited by historical and administrative structures. From the nurse perspective, this article aims to explore nursing practice in specialised palliative homecare, and how it is influenced by organisational and cultural structures. Qualitative, semi-structured interviews with nine nurses were conducted, inspired by Bourdieu. The findings showed that nurses consolidate the doxa of medicine, including medical-professional values that configure a (...) control-oriented, positivistic approach, supported by the organising policy for clinical practice. Hierarchically, nurses were positioned under doctors: medical rounds functioned as a structuring structure for their working day. They acted as medical assistants, and the prevailing medical logic seemed to make it difficult for nurses to meet their own humanistic ideals. Only short time slots allowed nurses to prioritise psychosocial needs of patients and relatives. Point-of-actions had high priority, added financial resources and ensured that budgets were allocated. Weekly visits made it possible for nurses to measure, control and govern patients’ drugs and symptoms which was a necessity for their function as medical assistants. The findings challenge nurses to take on an ethical point of view, partly to ensure that patients and their families receive good palliative care focusing on more than medical issues and logic, and partly to strengthen the nurses’ profession in the palliative field and help them implement palliative care philosophy in practice. (shrink)

Palliative care philosophy is based on a holistic approach to patients, but research shows that possibilities for living up to this philosophy seem limited by historical and administrative structures. From the nurse perspective, this article aims to explore nursing practice in specialised palliative homecare, and how it is influenced by organisational and cultural structures. Qualitative, semi-structured interviews with nine nurses were conducted, inspired by Bourdieu. The findings showed that nurses consolidate the doxa of medicine, including medical-professional values that configure a (...) control-oriented, positivistic approach, supported by the organising policy for clinical practice. Hierarchically, nurses were positioned under doctors: medical rounds functioned as a structuring structure for their working day. They acted as medical assistants, and the prevailing medical logic seemed to make it difficult for nurses to meet their own humanistic ideals. Only short time slots allowed nurses to prioritise psychosocial needs of patients and relatives. Point-of-actions had high priority, added financial resources and ensured that budgets were allocated. Weekly visits made it possible for nurses to measure, control and govern patients’ drugs and symptoms which was a necessity for their function as medical assistants. The findings challenge nurses to take on an ethical point of view, partly to ensure that patients and their families receive good palliative care focusing on more than medical issues and logic, and partly to strengthen the nurses’ profession in the palliative field and help them implement palliative care philosophy in practice. (shrink)

Human communication can be either monosemiotic or polysemiotic, depending on whether it combines ensembles of representations from one or more semiotic systems such as language, gesture and depiction. Each semiotic system has its unique storytelling potentials, which makes intersemiotic translation from one system to another challenging. We investigated the influence of the source semiotic system, realised in speech and a sequence of pictures, respectively, on the way the same story was retold using speech and co-speech gestures. The story was the (...) content of the picture book Frog, Where Are You?. A group of Finnish speakers saw the story in pictures, and another group heard it in matched oral narration. Each participant retold the story to an addressee and all narrations were video-recorded and analysed for both speech and gestures. Given the high degree of iconicity in depiction, we expected more iconic gestures (especially enactments) in the narratives translated from pictures than in those translated from speech. Conversely, we expected greater narrative coherence in the narratives translated from speech. The results showed that more iconic gestures were produced in the narratives translated from speech, but these were primarily not from the enactment subtype. As expected, iconic enactments were more frequent in the narratives translated from the story presented in pictures. The narratives produced by participants who had only heard the story did not have a greater variety of connective devices, yet the type of devices differed slightly between the groups. Together with some additional differences between the groups that had not been anticipated, the results indicate that a story presented in different semiotic systems tends to be translated into different polysemiotic narratives. (shrink)

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed systems and (...) artificial intelligence. These include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The authors also discuss extensively the problem of logical omniscience. They cover Halpern & Moses' theory of honest formulas, and they make a digression into the realm of nonmonotonic reasoning and preferential entailment. They discuss Moore's autoepistemic logic, together with Levesque's related logic of "all I know". Furthermore, they show how one can base default and counterfactual reasoning on epistemic logic. Graduate students in philosophy or in computer science, especially those with an interest in AI, will find this book useful. (shrink)

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as "Alternating-time Temporal Logic". The key insight in (...) ATL is that the path quantifiers of CTL could be replaced by "cooperation modalities", of the form $\langle \langle \Gamma \rangle \rangle $, where Γ is a set of agents. The intended interpretation of an ATL formula $\langle \langle \Gamma \rangle \rangle \varphi $ is that the agents Γ can cooperate to ensure that φ holds. In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as "group Γ can cooperate to bring about φ iff it is common knowledge in Γ that ψ". The resulting logic -- Alternating-time Temporal Epistemic Logic -- shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative systems remains problematic. In all real systems, it is possible that some members of an agent population will not comply with the rules of a normative system, even if it is in their interests to do so. It is therefore important to consider the extent to which a normative system is robust, i.e., the extent (...) to which it remains effective even if some agents do not comply with it. We formalise and investigate three different notions of robustness and related decision problems. We begin by considering sets of agents whose compliance is necessary and/or sufficient to guarantee the effectiveness of a normative system; we then consider quantitative approaches to robustness, where we try to identify the proportion of an agent population that must comply in order to ensure success; and finally, we consider a more general approach, where we characterise the compliance conditions required for success as a logical formula. We furthermore introduce a logic for specifying properties of norm compliance in general and norm robustness in particular. (shrink)

Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...) connected with other mental states—in particular, beliefs about the future and the abilities of the agent. So, we cannot study them in isolation. We must consider the interplay between intention revision and the revision of other mental states, which complicates the picture considerably. In this paper, we present some first steps towards a theory of intention revision. We develop a simple model of an agent’s mental states, and define intention revision operators. Using this model, we develop a logic of intention dynamics, and then investigate some of its properties. (shrink)

Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. (...) Second, we show that the effectiveness, feasibility, and synthesis problems for social laws may naturally be framed as atl model checking problems, and that as a consequence, existing atl model checkers may be applied to these problems. Third, we show that the complexity of the feasibility problem in our framework is no more complex in the general case than that of the corresponding problem in the Shoham–Tennenholtz framework (it is np-complete). Finally, we show how our basic framework can easily be extended to permit social laws in which constraints on the legality or otherwise of some action may be explicitly required. We illustrate the concepts and techniques developed by means of a running example. (shrink)

Qualitative Coalitional Games are a variant of coalitional games in which an agent's desires are represented as goals that are either satisfied or unsatisfied, and each choice available to a coalition is a set of goals, which would be jointly satisfied if the coalition made that choice. A coalition in a QCG will typically form in order to bring about a set of goals that will satisfy all members of the coalition. Our goal in this paper is to develop and (...) study logics for reasoning about QCGs. We begin by introducing a logic for reasoning about “static” QCGs, where participants play a single game, and we then introduce and study Temporal QCGs , i.e., games in which a sequence of QCGs is played. In order to represent and reason about such games, we introduce a linear time temporal logic of QCGs, called ℒ. We give a complete axiomatisation of ℒ, use it to investigate the properties of TQCGs, identify its expressive power, establish its complexity, characterise classes of TQGCs with formulas from our logical language, and use it to formulate several solution concepts for TQCGs. (shrink)

Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation (...) between QCGs and interpretations for CL, which defines the circumstances under which a CL interpretation correctly characterises a QCG. The complexity of deciding correspondence between QCGs and interpretations for CL is shown to vary from being tractable up to Πp 2-complete, depending on the representation chosen for the QCG and interpretation. We then show how various properties and solution concepts of QCGs can be characterised as CL formula schemes. The ideas are illustrated via a detailed worked example, in which we demonstrate how a model checker can be deployed to investigate whether a particular system has the properties in question. (shrink)

Tim French, Wiebe van der Hoek, Petar Iliev and Barteld Kooi. Succinctness of Epistemic Languages. In: T. Walsh (editor). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pp. 881-886, AAAI Press, Menlo Park.

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

There has been an increase in cognitive assessment via the Internet, especially since the coronavirus disease 2019 surged the need for remote psychological assessment. This is the first study to investigate the appropriability of conducting cognitive assessments online with children with a neurodevelopmental condition and intellectual disability, namely, Williams syndrome. This study compared Raven’s Colored Progressive Matrices and British Picture Vocabulary Scale scores from two different groups of children with WS age 10–11 years who were assessed online or face-to-face. Bayesian (...) t-tests showed that children’s RCPM scores were similar across testing conditions, but suggested BPVS scores were higher for participants assessed online. The differences between task protocols are discussed in line with these findings, as well as the implications for neurodevelopmental research. (shrink)

Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.

We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent's knowledge containing exactly the information conveyed by some (honest) formula φ. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a's decisions, it may be relevant that (he knows that) agent b does not know more than φ. There are (...) three ways to study the question whether a formula φ can be interpreted as minimal information. The first method is semantic and inspects 'minimal' models for φ (with respect to some information order ≤ on states). The second one is syntactic and searches for stable expansions, minimal with respect to some language $\scr{L}^{\ast}$ . The third method is a deductive test, known as the disjunction property. We present a condition under which the three methods are equivalent. Then, we show how to construct the order ≤ by collecting 'layered orders'. Focusing on the multi-agent case we identify languages $\scr{L}^{\ast}$ for various orders ≤, and show how they yield different notions of honesty for different multi-modal systems. We then provide several tools for studying honesty types and illustrate their usefulness on a number of examples, for three modal systems of particular interest. Finally, we relate the different notions of minimal knowledge, and describe possible patterns of honesty for these systems. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balanced network. If, on the other hand, agents prioritize short term gains over the long term, every Nash equilibrium eventually results in a network that is stable but that might not be balanced.

Homeopathy is controversial and hotly debated. The conclusions of systematic reviews of randomised controlled trials of homeopathy vary from ‘comparable to conventional medicine’ to ‘no evidence of effects beyond placebo’. It is claimed that homeopathy conflicts with scientific laws and that homoeopaths reject the naturalistic outlook, but no evidence has been cited. We are homeopathic physicians and researchers who do not reject the scientific outlook; we believe that examination of the prior beliefs underlying this enduring stand-off can advance the debate. (...) We show that interpretations of the same set of evidence—for homeopathy and for conventional medicine—can diverge. Prior disbelief in homeopathy is rooted in the perceived implausibility of any conceivable mechanism of action. Using the ‘crossword analogy’, we demonstrate that plausibility bias impedes assessment of the clinical evidence. Sweeping statements about the scientific impossibility of homeopathy are themselves unscientific: scientific statements must be precise and testable. There is growing evidence that homeopathic preparations can exert biological effects; due consideration of such research would reduce the influence of prior beliefs on the assessment of systematic review evidence. (shrink)